UML-based methodology for distributed systems
نویسندگان
چکیده
This paper describes a methodology based on the ISO Reference Model for Open Distributed Processing (ISO RM ODP)[1-4] and the UML 1.1[5] notation. The methodology has been developed in the context of several projects concerned with methodology development: DISGIS[6], MAGMA[7] and OBOE[8]. ODP provides the overall framework and a foundation for describing distributed systems. UML provides a flexible notation for describing them. The methodology will be described in relation with experiences gained and a case from the geographical information systems domain.
منابع مشابه
A Design Methodology for Distributed Embedded Systems in Industrial Automation
Starting from the special requirements of the application domain, a methodology based on modelbased development, component-based development, and network-based composition is presented. The methodology has been implemented on top of object-oriented concepts, and UML in particular, using commercially available tools.
متن کاملTraffic-aware Stress Testing of Distributed Real- Time Systems based on UML Models
A stress test methodology aimed at increasing chances of discovering faults related to network traffic in distributed systems is presented. The technique uses as input a specified UML 2.0 model of a system, augmented with timing information, and yields stress test requirements composed of specific Control Flow Paths along with time values to trigger them. We propose different variants of our st...
متن کاملMéthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML
The Unified Modeling Language (UML) standardized by the Object Management group (OMG) offers thirteen diagrams, but no facility to handle the requirement management phase which usually starts the development cycle of real-time systems. The SysML standard, including the concept of requirement diagram, has opened new avenues. Nevertheless both UML and SysML lack methodological support. This disse...
متن کاملTowards an ADL for Designing Agent-Based Systems
In this paper, we describe the Architecture Description Language (ADL) that we are defining for the design of agentbased systems. This aims at filing the gap between the analysis and design phases in agent-oriented methodologies. The analysis phase enables the description of the software architecture without any consideration of the execution environment while the design phase supplements the a...
متن کاملFormal verification of embedded distributed systems in a prototyping approach
This paper presents an evolutionary prototyping methodology dedicated to the design, verification and implementation of embedded systems. This methodology relies on L f P : a formalism combining UML-like structuring capabilities and a precise semantic suitable for both code generation and formal verification based on colored Petri nets. We apply this methodology on a small example and show how ...
متن کامل